COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input jmclet[let,jmc]
C00004 ENDMK
C⊗;
\input jmclet[let,jmc]
\jmclet
\address
Mr. Carlos A. Pinto-Ferreira
Mr. Joao P. Martins
CAPS - Complexo 1 - 1ST
Av. Rovisco Pais
1096 Lisboa - CODEX
Portugal
\body

Dear Messrs Pinto-Ferreira and Martins:

I looked at your paper, {\it Inscription--- A Rule of Conjecture},
although I didn't read all of it.  It seemed to me that {\it inscription}
is just the maximization of a predicate, but this is already
covered by {\it formula circumscription} described in my
 {\it Applications $\ldots$} paper to which you refer.  One
has only to circumscribe the formula consisting of the negation
of your predicate.  Alternatively, one can define a new predicate,
the negation of the old one, and circumscribe that, making sure
that the old predicate symbol is kept variable in the circumscription.

If there is more to your idea, I missed it, and you should emphasize
it in a revised version.

\closing
Sincerely,
John McCarthy
\endletter
\end